1

On the weak Kleene scheme in Kripke's theory of truth

Year:
1991
Language:
english
File:
PDF, 1.19 MB
english, 1991
2

Elementary Functions and LOOP Programs

Year:
1994
Language:
english
File:
PDF, 218 KB
english, 1994
3

Elementary realizability

Year:
1997
Language:
english
File:
PDF, 406 KB
english, 1997
4

A Structuralist Theory of Logic.by Arnold Koslow

Year:
1994
Language:
english
File:
PDF, 427 KB
english, 1994
5

Strictly Primitive Recursive Realizability, I

Year:
1994
Language:
english
File:
PDF, 357 KB
english, 1994
6

Minimal Realizability of Intuitionistic Arithmetic and Elementary Analysis

Year:
1995
Language:
english
File:
PDF, 1.93 MB
english, 1995
7

Elementary Realizability

Year:
1997
Language:
english
File:
PDF, 2.51 MB
english, 1997
10

Elementary Functions and LOOP Programs

Year:
1994
File:
PDF, 218 KB
1994